Control Flow Obfuscation using Neural Network to Fight Concolic Testing? Haoyu Ma1 , Xinjie Ma1 , Weijie Liu1 , Zhipeng Huang1 , Debin Gao2 , and Chunfu Jia1 1

Source URL: flyer.sis.smu.edu.sg

2008 Annual Computer Security Applications Conference Bridging the Gap between Data-flow and Control-flow Analysis for Anomaly Detection∗ Peng Li University of North Carolina at Chapel Hill

Source URL: flyer.sis.smu.edu.sg

To appear in ProcACC Observability-based Optimization for Flow Sensing and Control of an Underwater Vehicle in a Uniform Flowfield Levi DeVries1 and Derek A. Paley2 Abstract— This paper describes how an underwa

Source URL: cdcl.umd.edu

Widening for Control-Flow Ben Hardekopf1 , Ben Wiedermann2 , Berkeley Churchill3 , and Vineeth Kashyap1 1 University of California, Santa Barbara — {benh, vineeth}@cs.ucsb.edu 2

Source URL: www.berkeleychurchill.com

Safe Futures for Java Adam Welc Suresh Jagannathan

Source URL: www.adamwelc.org

• Computing
• Software engineering
• Computer programming
• Concurrent computing
• Concurrency control
• Control flow
• Java
• Concurrency
• Futures and promises
• Monitor
• Synchronization
• Java concurrency

To appear in ProcAIAA GNC Dynamic Altitude Control for Motion Coordination in an Estimated Shear Flow Levi DeVries∗ and Derek A. Paley† University of Maryland, College Park, MD, 20742, USA

Source URL: cdcl.umd.edu

Some Challenging Problems in (Active) Flow and Noise Control A (Limited) Experimental Perspective F. S. Alvi Florida State University Florida Center for Advanced Aero-Propulsion

Source URL: www.cespr.fsu.edu

DryStop Specs Intelligent AODD Pump Controller Sentrinsic’s DryStop Controller is a smart way to control AODD (Air Operated Double Diaphragm) pumps. The DryStop device monitors the flow of air into a pump to detect

Source URL: www.sentrinsic.com

¨ INFORMATIK INSTITUT FUR Programmiersprachen und Rechenkonzepte 27. Workshop der GI-Fachgruppe

Source URL: www-ps.informatik.uni-kiel.de

• Software engineering
• Computing
• Computer programming
• Concurrent computing
• Subroutines
• Coroutine
• Java platform
• Control flow
• Procedural programming languages
• Yield
• Generator
• Return statement

Relating Complexity and Precision in Control Flow Analysis David Van Horn Harry G. Mairson Brandeis University

Source URL: www.cs.brandeis.edu